add_executable(symbolic_to_raw symbolic_to_raw.cpp)
